symmetric monoidal (∞,1)-category of spectra
A lattice-ordered abelian group or l-group is an ordered abelian group whose order forms a lattice. (Here we assume that lattices do not need to have top or bottom elements, because otherwise the only such object is the trivial group.)
A lattice-ordered abelian group or abelian l-group is an ordered abelian group such that every pair of elements admits a meet in the underlying poset (Gilmer 1992, p. 158).
A lattice-ordered abelian group or abelian l-group is an abelian group with a binary join operation such that is a commutative idempotent semigroup, and
The meet is defined as
the ramp function is defined as
and the absolute value is defined as
The order relation is defined as in all pseudolattices: if .
The following algebraic definition is from Peter Freyd:
A lattice-ordered abelian group or l-group is an abelian group with a function such that for all and in ,
and
The join is defined as
the meet is defined as
and the absolute value is defined as
The order relation is defined as if .
All totally ordered abelian groups, such as the integers, the rational numbers, and the real numbers, are lattice-ordered abelian groups.
An example of a lattice-ordered abelian group that is not totally ordered is the abelian group of Gaussian integers with and .
Let be an integral domain, its field of fraction and its group of units. The group of divisibility of (Gilmer 1992, p.174), denoted , is defined as
The abelian group becomes an ordered abelian group if we define an order as follows: for every , we say that iff .
[Gilmer 1992, p.174] Let be an integral domain. Then is a lattice-ordered abelian group iff is a GCD domain.
[Gilmer 1992, p.215] Every lattice-ordered abelian group is order-isomorphic to the group of divisibility of a Bézout domain i.e. there exists a Bézout domain and a group isomorphism such that .
prelattice-ordered abelian group?
Peter Freyd, Algebraic real analysis, Theory and Applications of Categories, Vol. 20, 2008, No. 10, pp 215-306 (tac:20-10)
Henri Lombardi, Claude Quitté (2010): Commutative algebra: Constructive methods (Finite projective modules) Translated by Tania K. Roblo, Springer (2015) (doi:10.1007/978-94-017-9944-7, pdf)
Robert Gilmer: Multiplicative Ideal Theory, Queen’s Papers in Pure and Applied Mathematics (1992)
Last revised on June 21, 2024 at 03:59:23. See the history of this page for a list of all contributions to it.